A note on fuzzy predicate logic
نویسنده
چکیده
Recent development of mathematical fuzzy logic is brieey surveyed. The set of all formulas of predicate logic that are tautologies with respect to all continuous t-norms is shown to be heavily non-recursive ((2-hard).
منابع مشابه
Optimized Fuzzy Logic for Nonlinear Vibration Control of Aircraft Semi-active Shock Absorber with Input Constraint (TECHNICAL NOTE)
Landing impact and runway unevenness have proximate consequence on performance of landing gear system and conduce to discomfort of passengers and reduction of the pilot’s capability to control aircraft. Finally, vibrations caused by them result in structure fatigue. Fuzzy logic controller is used frequently in different applications because of simplicity in design and implementation. In the pre...
متن کاملTrajectory Tracking of a Mobile Robot Using Fuzzy Logic Tuned by Genetic Algorithm (TECHNICAL NOTE)
In recent years, soft computing methods, like fuzzy logic and neural networks have been presented and developed for the purpose of mobile robot trajectory tracking. In this paper we will present a fuzzy approach to the problem of mobile robot path tracking for the CEDRA rescue robot with a complicated kinematical model. After designing the fuzzy tracking controller, the membership functions an...
متن کاملA New Iterative Fuzzy-Based Method for Image Enhancement (RESEARCH NOTE)
This paper presents a new filtering approach based on fuzzy-logic which has high performance in mixed noise environments. This filter is mainly based on the idea that each pixel is not allowed to be uniformly fired by each of the fuzzy rules. In the proposed filtering algorithm, the rule membership functions are tuned iteratively in order to preserve the image edges. Several test experiments we...
متن کاملA Fuzzy Based Three Color Meter/Marker for Diffserv Networks (RESEARCH NOTE)
Differentiated Services (Diffserv) which was proposed by Internet Engineering Task Force (IETF), is a scalable and robust model for providing the end-to-end QoS. In the Diffserv networks, metering mechanisms are used to measure traffic stream. The single rate Three Color Meter (srTCM) [1],which was proposed by IETF, meters an IP packet stream and marks its packets either green, yellow, or red....
متن کاملA categorical semantics for fuzzy predicate logic
Fuzzy Sets and Systems 161 (2010) 412-432 Elsevier www.elsevier.com/locate/fss A Categorical Semantics for Fuzzy Predicate Logic
متن کامل